1. Computational Semantics with Functional Programming
Author: / Jan Van Eijck and Christina Unger
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Programming languages (Electronic computers) -- Semantics,Functional programming (Computer science),Haskell (Computer program language),زبان های برنامهنویسی کامپیوتر -- معنی شناسی,زبان های برنامه نویسی تابعی (علوم کامپیوتر),هسکل (زبان برنامه نویسی کامپیوتر)
Classification :
QA76
,.
7
.
E43
2010
2. Computational semantics with functional programming /
Author: Jan van Eijck and Christina Unger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Functional programming (Computer science),Haskell (Computer program language),Programming languages (Electronic computers)-- Semantics.,Computerlinguistik,COMPUTERS-- Programming-- General.,Functional programming (Computer science),Funktionale Programmierung,HASKELL,Haskell (Computer program language),Programming languages (Electronic computers)-- Semantics.,Semantik
Classification :
QA76
.
7
.
E43
2010eb
3. Predicate calculus and program semantics
Author: Dijkstra, Edsger W
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Predicate calculus ► Programming languages(Electronic computers)- Semantics
Classification :
511
D575p
4. Predicate calculus and program semantics
Author: Edsger W. Dijkstra, Carel S. Scholten
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Predicate calculus,، Programming languages )Electronic computers( -- Semantics
Classification :
QA
9
.
35
.
D55
1989
5. Semantic techniques in quantum computation /
Author: edited by Simon Gay, Ian Mackie.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers)-- Semantics.,Quantum computers.,Quantum theory.,COMPUTERS-- Hardware-- Mainframes & Minicomputers.,Programmiersprache,Programming languages (Electronic computers)-- Semantics.,Quantencomputer,Quantum computers.,Quantum theory.,Semantik
Classification :
QA76
.
889
.
S36
2010
